1. Applying formal methods : testing, performance, and M/E-commerce : FORTE 2004 workshops, The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings
پدیدآورنده : Manuel Nunez ...]et al.[ )eds(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
L28
Vol
.
3236
